Achieving Atomicity and Isolation in Concurrent Rust: Channels vs. Mutexes
dev.to·2d·
Discuss: DEV
🔒Futex
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
Transaction-Oriented Programming
btmc.substack.com·16h·
Discuss: Substack
🧠Memory Models
Flag this post
Rust Concurrency for Go Developers: Achieving Full Compile-Time Safety
dev.to·2d·
Discuss: DEV
🔀Crossbeam
Flag this post
Exception handling differences between Clojure map & pmap
emcken.dk·1d
🔵Go
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
composio.dev·9h·
Discuss: r/ClaudeAI
📦Folly
Flag this post
Async and Finaliser Deadlocks
tratt.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🦀Rust Async
Flag this post
Types of systems that could be useful for agent foundations
lesswrong.com·2d
🔄Concurrency Models
Flag this post
Troupe：multi-role finite state machine
ziggit.dev·4h·
Discuss: Hacker News
🔄Concurrency Models
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
news.ycombinator.com·3h·
Discuss: Hacker News
🕐Vector Clocks
Flag this post
Convergence vs. Consensus in Distributed Systems
gowthamk.github.io·1d·
Discuss: Hacker News
🔄CRDT
Flag this post
uni_service - Universal service crate for building cross platform OS services
reddit.com·16h·
Discuss: r/rust
🚀Shuttle
Flag this post
Fun-reliable side-channels for cross-container communication
simonwillison.net·3d
🔒Futex
Flag this post
Ditch your (Mut)Ex, you deserve better
chrispenner.ca·4d·
Discuss: Hacker News, Hacker News, r/programming
🔒Futex
Flag this post
Referential Transparency
quamserena.com·6h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Best practices for abstracting large go func(){}() blocks in Go? Handling many parameters, closures, and concurrency.
reddit.com·2d·
Discuss: r/golang
🔵Go
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
github.com·1d·
Discuss: r/C_Programming
λFunctional Programming
Flag this post
Context Engineering Is All You Need
pub.towardsai.net·1h
💬Prompt Engineering
Flag this post
Event Design for Streaming Systems: A Primer
iankduncan.com·18h·
Discuss: Hacker News
🥑Avro
Flag this post
Profiling Go Programs using Pprof and k6
pears.one·8h·
Discuss: r/golang
📊Perf
Flag this post